Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
881	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
882	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
883	Constructive Specifications for Compositional Units Kung-Kiu Lau1 , Alberto Momigliano2 , and Mario Ornaghi2 1 School of Computer Science, The University of Manchester, Manchester M13 9PL, United Kingdom Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-12 12:03:48 Computability theory Programming language theory Function Lambda calculus ALGOL 68 Independence Mathematics Computing Functions and mappings
884	Modern Programming Languages Concurrency and Message Passing in Erlang Developers use the open source Erlang programming language in domains such as Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2012-11-04 11:03:44 Higher-order functions Subroutines Ericsson Erlang Lambda calculus Fold Oz Anonymous function Map Software engineering Computing Computer programming
885	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
886	PARSERHELPER.INDEX.14 at ISI·SYSTEM·F (AFFIRM)PARSERHELPER[removed]assocAllProgramUnits definePriority Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2011-01-19 22:24:45 Software engineering Lambda calculus Function Expression ALGOL 68 Mathematics Programming language theory Functions and mappings
887	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
888	Type Preservation as a Confluence Problem∗ Aaron Stump1 , Garrin Kimmell1 , and Roba El Haj Omar1 1 Computer Science The University of Iowa Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-04-26 05:41:58 Mathematics Logic in computer science Formal languages Models of computation Combinatory logic Fixed-point combinator Rewriting Simply typed lambda calculus Overlap Theoretical computer science Applied mathematics Lambda calculus
889	Kestrels, Quirky Birds, and Hopeless Egocentricity Raganwald’s collected adventures in Combinatory Logic and Ruby Meta-Programming Reginald Braithwaite This book is for sale at http://leanpub.com/combinators Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2014-02-07 21:41:22 Combinatory logic Lambda calculus Logic in computer science To Mock a Mockingbird Ruby Kestrel Haskell Curry C++ classes Raymond Smullyan Computing Theoretical computer science Software engineering

UPDATE